en

Mathematical provability

ru

Translation mathematical provability into russian

mathematical provability
Mathematical provability is a fundamental concept in logic.
Математическая доказуемость является фундаментальным понятием в логике.